#!/bin/bash
set -e

#
# This script is used to download different Orange Pi SDK.
# 
TOP_DIR=`pwd`

source "${TOP_DIR}"/lib_tools/general.sh

# Prepare running-tools
prepare_tools_docker
git clone https://github.com/BiscuitOS/BiscuitOS.git
cd BiscuitOS
make $1
make clean
make